Per Martin-Löf - mrsekut-p

Per Martin-Löf

直観主義的型理論

https://github.com/michaelt/martin-lof

Per Martin-Löfの論文集

Programming in Martin-L¨of ’s Type Theory

http://www.cse.chalmers.se/research/group/logic/book/book.pdf

Intuitionistic Type Theory

https://www.csie.ntu.edu.tw/~b94087/ITT.pdf

参考

https://ja.wikipedia.org/wiki/ペール・マルティン＝レーフ